Reference Model Based High Fidelity Simulation Modeling for Manufacturing Systems

ing logical rules should be justified and based on the data that we can observe from a real system. In other words, if a logical rule is abstracted, the input data for the abstracted logical rule should be observable in the real system, and its output data also should be comparable to the observable results of the real system. An abstracted model does not provide more I/O data than the original model before abstraction. Hence, based on this rationale, derivability relation between experimental frames is a systematic method of checking model fidelity (or abstraction). Although this method cannot evaluate the fidelity of a model absolutely and quantitatively, it can provide information as to which model has higher or lower fidelity, or even whether the fidelity of models is comparable or not. We call this property relative fidelity, and it is defined in the simulation modeling framework as follows: [Definition 2.1] Relative Fidelity Indicator For models M1, M2, and experimental frames EF1 and EF2 defined on a RS, if EF1 →  M1, EF2 →  M2, and EF1 →  EF2, then it is said that M1||EF1 has higher fidelity than M2||EF2 and denoted by: Fidelity(M1||EF1) ≥ Fidelity(M2||EF2) In the special case that EF1≡EF2≡EF, then Fidelity(M1||EF) = Fidelity(M2||EF). Figure 2.7 illustrates fidelity relations between simulation models graphically.